<html>
  <head>
    <!-- Code moved from demos to apps on 29 Dec 2012 -->
    <script>location = location.href.replace('/demos/', '/apps/')</script>
  </head>
</html>
